Multiparty communication complexity and very hard functions

نویسنده

  • Pavol Duris
چکیده

A boolean function f(x1, . . . , xn) with xi ∈ {0, 1}m for each i is hard if its nondeterministic multiparty communication complexity (introduced in [in: Proceedings of the 30th IEEE FOCS, 1989, p. 428–433]), C(f), is at least nm. Note that C(f) nm for each f(x1, . . . , xn) with xi ∈ {0, 1}m for each i. A boolean function is very hard if it is hard and its complementary function is also hard. In this paper, we show that randomly chosen boolean function f(x1, . . . , xn) with xi ∈ {0, 1}m for each i is very hard with very high probability (for n 3 and m large enough). In [in: Proceedings of the 12th Symposium on Theoretical Aspects of Computer Science, LNCS 900, 1995, p. 350–360], it has been shown that if f(x1, . . . , xk , . . . , xn) = f1(x1, . . . , xk) · f2(xk+1, . . . , xn), where C(f1) > 0 and C(f2) > 0, then C(f) = C(f1)+ C(f2). We prove here an analogical result: If f(x1, . . . , xk , . . . , xn) = f1(x1, . . . , xk)⊕ f2(xk+1, . . . , xn) then DC(f) = DC(f1)+ DC(f2), where DC(g) denotes the deterministic multiparty communication complexity of the function g and “⊕” denotes the parity function. © 2004 Elsevier Inc. All rights reserved.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Construction of very hard functions for multiparty communication complexity

We consider the multiparty communication model deened in 4] using the formalism from 8]. First, we correct an inaccuracy in the proof of the fundamental result of 6] providing a lower bound on the nondeterministic communication complexity of a function. Then we construct several very hard functions, i.e., functions such that those as well as their complements have the worst possible nonde-termi...

متن کامل

Multiparty Communication Complexity: Very Hard Functions

We consider the multiparty communication model deened in DF89] using the formalism from Hr97]. First, we correct an inaccuracy in the proof of the fundamental result of DR95] providing a lower bound on the nondeter-ministic communication complexity of a function. Then we construct several very hard functions, i.e., functions such that those as well as their complements have the worst possible n...

متن کامل

Exponential Quantum-Classical Gaps in Multiparty Nondeterministic Communication Complexity

There are three different types of nondeterminism in quantum communication: i) NQP-communication, ii) QMA-communication, and iii) QCMA-communication. In this paper we show that multiparty NQP-communication can be exponentially stronger than QCMA-communication. This also implies an exponential separation with respect to classical multiparty nondeterministic communication complexity. We argue tha...

متن کامل

Robust Non-interactive Multiparty Computation Against Constant-Size Collusion

Non-Interactive Multiparty Computations (Beimel et al., Crypto 2014) is a very powerful notion equivalent (under some corruption model) to garbled circuits, Private Simultaneous Messages protocols, and obfuscation. We present robust solutions to the problem of Non-Interactive Multiparty Computation in the computational and information-theoretic models. Our results include the first efficient an...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Inf. Comput.

دوره 192  شماره 

صفحات  -

تاریخ انتشار 2004